home *** CD-ROM | disk | FTP | other *** search
/ Personal Computer World 2009 February / PCWFEB09.iso / Software / Linux / Kubuntu 8.10 / kubuntu-8.10-desktop-i386.iso / casper / filesystem.squashfs / usr / sbin / grub-install < prev    next >
Text File  |  2008-10-21  |  17KB  |  591 lines
  1. #! /bin/sh
  2.  
  3. # Install GRUB on your drive.
  4. #   Copyright (C) 1999,2000,2001,2002,2003,2004 Free Software Foundation, Inc.
  5. #
  6. # This file is free software; you can redistribute it and/or modify it
  7. # under the terms of the GNU General Public License as published by
  8. # the Free Software Foundation; either version 2 of the License, or
  9. # (at your option) any later version.
  10. #
  11. # This program is distributed in the hope that it will be useful, but
  12. # WITHOUT ANY WARRANTY; without even the implied warranty of
  13. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14. # General Public License for more details.
  15. #
  16. # You should have received a copy of the GNU General Public License
  17. # along with this program; if not, write to the Free Software
  18. # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  19.  
  20. # Initialize some variables.
  21. prefix=/usr
  22. exec_prefix=${prefix}
  23. sbindir=${exec_prefix}/sbin
  24. libdir=${exec_prefix}/lib
  25. PACKAGE=grub
  26. VERSION=0.97
  27. host_cpu=i386
  28. host_os=linux-gnu
  29. host_vendor=pc
  30. pkglibdir=${libdir}/${PACKAGE}/${host_cpu}-${host_vendor}
  31.  
  32. grub_shell=${sbindir}/grub
  33. grub_set_default=${sbindir}/grub-set-default
  34. log_file=/tmp/grub-install.log.$$
  35. img_file=/tmp/grub-install.img.$$
  36. rootdir=
  37. grub_prefix=/boot/grub
  38.  
  39. install_device=
  40. no_floppy=
  41. force_lba=
  42. recheck=no
  43. debug=no
  44.  
  45. # look for secure tempfile creation wrappers on this platform
  46. if test -x /bin/tempfile; then
  47.     mklog="/bin/tempfile --prefix=grub"
  48.     mkimg="/bin/tempfile --prefix=grub"
  49. elif test -x /bin/mktemp; then
  50.     mklog="/bin/mktemp /tmp/grub-install.log.XXXXXX"
  51.     mkimg="/bin/mktemp /tmp/grub-install.img.XXXXXX"
  52. else
  53.     mklog=""
  54.     mkimg=""
  55. fi
  56.  
  57. # Usage: usage
  58. # Print the usage.
  59. usage () {
  60.     cat <<EOF
  61. Usage: grub-install [OPTION] install_device
  62. Install GRUB on your drive.
  63.  
  64.   -h, --help              print this message and exit
  65.   -v, --version           print the version information and exit
  66.   --root-directory=DIR    install GRUB images under the directory DIR
  67.                           instead of the root directory
  68.   --grub-shell=FILE       use FILE as the grub shell
  69.   --no-floppy             do not probe any floppy drive
  70.   --force-lba             force GRUB to use LBA mode even for a buggy
  71.                           BIOS
  72.   --recheck               probe a device map even if it already exists
  73.  
  74. INSTALL_DEVICE can be a GRUB device name or a system device filename.
  75.  
  76. grub-install copies GRUB images into the DIR/boot directory specfied by
  77. --root-directory, and uses the grub shell to install grub into the boot
  78. sector.
  79.  
  80. Report bugs to <bug-grub@gnu.org>.
  81. EOF
  82. }
  83.  
  84. # Usage: getraid_mdadm mddevice
  85. # Routine to find a physical device from an md device
  86. # If found, the first grub BIOS device (from device.map) is returned 
  87. # If no BIOS drives match the RAID devices, the first device returned
  88. # from mdadm -D is returned
  89. getraid_mdadm() {
  90.     device=$1
  91.     mdadm=$(mdadm -D "$device") || {
  92.         echo "$PROG: mdadm -D $device failed" >&2
  93.         exit 1
  94.     }
  95.     eval "$(
  96.         echo "$mdadm" | awk '
  97.             $1 == "Number" && $2 == "Major" { start = 1; next }
  98.             $1 == "UUID" { print "uuid=" $3; start = 0; next }
  99.             !start { next }
  100.             $2 == 0 && $3 == 0 { next }
  101.             { devices = devices "\n" $NF }
  102.             END { print "devices='\''" devices "'\''" }
  103.         '
  104.     )"
  105.  
  106.     # Convert RAID devices list into a list of disks
  107.     tmp_disks=`echo "$devices" | sed -e 's%\([vsh]d[a-z]\)[0-9]*$%\1%' \
  108.                      -e 's%\(d[0-9]*\)p[0-9]*$%\1%' \
  109.                      -e 's%\(fd[0-9]*\)$%\1%' \
  110.                      -e 's%/part[0-9]*$%/disc%' \
  111.                      -e 's%\(c[0-7]d[0-9]*\).*$%\1%' \
  112.                      -e '/^$/d' |
  113.                      sed -n '1h;2,$H;${g;s/\n/|/g;p}'`
  114.  
  115.     # Find first BIOS disk that's a member of the RAID array
  116.     # Default to first RAID member if no tmp_disks are BIOS devices
  117.     set -- `egrep $tmp_disks $device_map | \
  118.         sort | \
  119.         sed -n 1p `
  120.     device=${2:-${tmp_disks%%|*}}
  121.  
  122.     # Return first partition on BIOS disk that's part of the RAID
  123.     echo "$devices" | \
  124.         sed -n "\:${device}:p" | \
  125.         sed -n 1p
  126. }
  127.  
  128. # Usage: convert os_device
  129. # Convert an OS device to the corresponding GRUB drive.
  130. # This part is OS-specific.
  131. convert () {
  132.     # First, check if the device file exists.
  133.     if test -e "$1"; then
  134.     :
  135.     else
  136.     echo "$1: Not found or not a block device." 1>&2
  137.     exit 1
  138.     fi
  139.  
  140.     # Break the device name into the disk part and the partition part.
  141.     case "$host_os" in
  142.     linux*)
  143.     # Find an actual physical device if we're passed a RAID device
  144.     case $1 in
  145.         /dev/md*)  set -- `getraid_mdadm $1`
  146.     esac
  147.     tmp_disk=`echo "$1" | sed -e 's%\([vsh]d[a-z]\)[0-9]*$%\1%' \
  148.                   -e 's%\(d[0-9]*\)p[0-9]*$%\1%' \
  149.                   -e 's%\(fd[0-9]*\)$%\1%' \
  150.                   -e 's%/part[0-9]*$%/disc%' \
  151.                   -e 's%\(c[0-7]d[0-9]*\).*$%\1%' \
  152.                   -e 's%\(e[0-9]\.[0-9]*\).*$%\1%'`
  153.     tmp_part=`echo "$1" | sed -e 's%.*/[vsh]d[a-z]\([0-9]*\)$%\1%' \
  154.                   -e 's%.*d[0-9]*p%%' \
  155.                   -e 's%.*/fd[0-9]*$%%' \
  156.                   -e 's%.*/floppy/[0-9]*$%%' \
  157.                   -e 's%.*/\(disc\|part\([0-9]*\)\)$%\2%' \
  158.                   -e 's%.*c[0-7]d[0-9]*p*%%' \
  159.                   -e 's%.*e[0-9]\.[0-9]*p%%' \
  160.                   -e 's%.*e[0-9]\.[0-9]*\$%%'`
  161.     ;;
  162.     gnu*)
  163.     tmp_disk=`echo "$1" | sed 's%\([vsh]d[0-9]*\).*%\1%'`
  164.     tmp_part=`echo "$1" | sed "s%$tmp_disk%%"` ;;
  165.     freebsd* | kfreebsd*-gnu)
  166.     tmp_disk=`echo "$1" | sed 's%r\{0,1\}\([saw]d[0-9]*\).*$%\1%' \
  167.                 | sed 's%r\{0,1\}\(da[0-9]*\).*$%\1%'`
  168.     tmp_part=`echo "$1" \
  169.         | sed "s%.*/r\{0,1\}[saw]d[0-9]\(s[0-9]*[a-h]\)%\1%" \
  170.                | sed "s%.*/r\{0,1\}da[0-9]\(s[0-9]*[a-h]\)%\1%"`
  171.     ;;
  172.     netbsd* | knetbsd*-gnu)
  173.     tmp_disk=`echo "$1" | sed 's%r\{0,1\}\([sw]d[0-9]*\).*$%r\1d%' \
  174.         | sed 's%r\{0,1\}\(fd[0-9]*\).*$%r\1a%'`
  175.     tmp_part=`echo "$1" \
  176.         | sed "s%.*/r\{0,1\}[sw]d[0-9]\([abe-p]\)%\1%"`
  177.     ;;
  178.     *)
  179.     echo "grub-install does not support your OS yet." 1>&2
  180.     exit 1 ;;
  181.     esac
  182.  
  183.     # Get the drive name.
  184.     tmp_drive=`grep -v '^#' $device_map | grep "$tmp_disk *$" \
  185.     | sed 's%.*\(([hf]d[0-9][a-z0-9,]*)\).*%\1%'`
  186.  
  187.     # If not found, print an error message and exit.
  188.     if test "x$tmp_drive" = x; then
  189.     echo "$1 does not have any corresponding BIOS drive." 1>&2
  190.     # If /boot is on a RAID device, provide more information
  191.     if mdadm --detail "$bootdir_device" >/dev/null 2>&1; then
  192.         echo "You can run grub-install on your RAID device [$bootdir_device]," 1>&2
  193.         echo "or you can define [$1] in [$device_map]." 1>&2
  194.     fi
  195.     exit 1
  196.     fi
  197.  
  198.     if test "x$tmp_part" != x; then
  199.     # If a partition is specified, we need to translate it into the
  200.     # GRUB's syntax.
  201.     case "$host_os" in
  202.     linux*)
  203.         echo "$tmp_drive" | sed "s%)$%,`expr $tmp_part - 1`)%" ;;
  204.     gnu*)
  205.         if echo $tmp_part | grep "^s" >/dev/null; then
  206.         tmp_pc_slice=`echo $tmp_part \
  207.             | sed "s%s\([0-9]*\)[a-z]*$%\1%"`
  208.         tmp_drive=`echo "$tmp_drive" \
  209.             | sed "s%)%,\`expr "$tmp_pc_slice" - 1\`)%"`
  210.         fi
  211.         if echo $tmp_part | grep "[a-z]$" >/dev/null; then
  212.         tmp_bsd_partition=`echo "$tmp_part" \
  213.             | sed "s%[^a-z]*\([a-z]\)$%\1%"`
  214.         tmp_drive=`echo "$tmp_drive" \
  215.             | sed "s%)%,$tmp_bsd_partition)%"`
  216.         fi
  217.         echo "$tmp_drive" ;;
  218.     freebsd* | kfreebsd*-gnu)
  219.         if echo $tmp_part | grep "^s" >/dev/null; then
  220.         tmp_pc_slice=`echo $tmp_part \
  221.             | sed "s%s\([0-9]*\)[a-h]*$%\1%"`
  222.         tmp_drive=`echo "$tmp_drive" \
  223.             | sed "s%)%,\`expr "$tmp_pc_slice" - 1\`)%"`
  224.         fi
  225.         if echo $tmp_part | grep "[a-h]$" >/dev/null; then
  226.         tmp_bsd_partition=`echo "$tmp_part" \
  227.             | sed "s%s\{0,1\}[0-9]*\([a-h]\)$%\1%"`
  228.         tmp_drive=`echo "$tmp_drive" \
  229.             | sed "s%)%,$tmp_bsd_partition)%"`
  230.         fi
  231.         echo "$tmp_drive" ;;
  232.     netbsd* | knetbsd*-gnu)
  233.         if echo $tmp_part | grep "^[abe-p]$" >/dev/null; then
  234.         tmp_bsd_partition=`echo "$tmp_part" \
  235.             | sed "s%\([a-p]\)$%\1%"`
  236.         tmp_drive=`echo "$tmp_drive" \
  237.             | sed "s%)%,$tmp_bsd_partition)%"`
  238.         fi
  239.         echo "$tmp_drive" ;;
  240.     esac
  241.     else
  242.     # If no partition is specified, just print the drive name.
  243.     echo "$tmp_drive"
  244.     fi
  245. }
  246.  
  247. # Usage: resolve_symlink file
  248. # Find the real file/device that file points at
  249. resolve_symlink () {
  250.     tmp_fname=$1
  251.     # Resolve symlinks
  252.     while test -L $tmp_fname; do
  253.         tmp_new_fname=`ls -al $tmp_fname | sed -n 's%.*-> \(.*\)%\1%p'`
  254.         if test -z "$tmp_new_fname"; then
  255.             echo "Unrecognized ls output" 2>&1
  256.             exit 1
  257.         fi
  258.  
  259.         # Convert relative symlinks
  260.         case $tmp_new_fname in
  261.             /*) tmp_fname="$tmp_new_fname"
  262.             ;;
  263.             *) tmp_fname="`echo $tmp_fname | sed 's%/[^/]*$%%'`/$tmp_new_fname"
  264.             ;;
  265.         esac
  266.     done
  267.     echo "$tmp_fname"
  268. }
  269.  
  270. # Usage: find_device file
  271. # Find block device on which the file resides.
  272. find_device () {
  273.     # For now, this uses the program `df' to get the device name, but is
  274.     # this really portable?
  275.     tmp_fname=`df $1/ | sed -n 's%.*\(/dev/[^     ]*\).*%\1%p'`
  276.  
  277.     if test -z "$tmp_fname"; then
  278.     echo "Could not find device for $1" 2>&1
  279.     exit 1
  280.     fi
  281.  
  282.     tmp_fname=`resolve_symlink $tmp_fname`
  283.  
  284.     echo "$tmp_fname"
  285. }
  286.  
  287. # Check the arguments.
  288. for option in "$@"; do
  289.     case "$option" in
  290.     -h | --help)
  291.     usage
  292.     exit 0 ;;
  293.     -v | --version)
  294.     echo "grub-install (GNU GRUB ${VERSION})"
  295.     exit 0 ;;
  296.     --root-directory=*)
  297.     rootdir=`echo "$option" | sed 's/--root-directory=//'` ;;
  298.     --grub-shell=*)
  299.     grub_shell=`echo "$option" | sed 's/--grub-shell=//'` ;;
  300.     --no-floppy)
  301.     no_floppy="--no-floppy" ;;
  302.     --force-lba)
  303.     force_lba="--force-lba" ;;
  304.     --recheck)
  305.     recheck=yes ;;
  306.     # This is an undocumented feature...
  307.     --debug)
  308.     debug=yes ;;
  309.     -*)
  310.     echo "Unrecognized option \`$option'" 1>&2
  311.     usage
  312.     exit 1
  313.     ;;
  314.     *)
  315.     if test "x$install_device" != x; then
  316.         echo "More than one install_devices?" 1>&2
  317.         usage
  318.         exit 1
  319.     fi
  320.     install_device="${option}" ;;
  321.     esac
  322. done
  323.  
  324. if test "x$install_device" = x; then
  325.     echo "install_device not specified." 1>&2
  326.     usage
  327.     exit 1
  328. fi
  329.  
  330. # If the debugging feature is enabled, print commands.
  331. if test $debug = yes; then
  332.     set -x
  333. fi
  334.  
  335. # Initialize these directories here, since ROOTDIR was initialized.
  336. case "$host_os" in
  337. netbsd* | openbsd*)
  338.     # Because /boot is used for the boot block in NetBSD and OpenBSD, use /grub
  339.     # instead of /boot/grub.
  340.     grub_prefix=/grub
  341.     bootdir=${rootdir}
  342.     ;;
  343. *)
  344.     # Use /boot/grub by default.
  345.     bootdir=${rootdir}/boot
  346.     ;;
  347. esac
  348.  
  349. grubdir=${bootdir}/grub
  350. device_map=${grubdir}/device.map
  351.  
  352. # Check if GRUB is installed.
  353. # This is necessary, because the user can specify "grub --read-only".
  354. set $grub_shell dummy
  355. if test -f "$1"; then
  356.     :
  357. else
  358.     echo "$1: Not found." 1>&2
  359.     exit 1
  360. fi
  361.  
  362. if test -f "$pkglibdir/stage1"; then
  363.     :
  364. else
  365.     echo "${pkglibdir}/stage1: Not found." 1>&2
  366.     exit 1
  367. fi
  368.  
  369. if test -f "$pkglibdir/stage2"; then
  370.     :
  371. else
  372.     echo "${pkglibdir}/stage2: Not found." 1>&2
  373.     exit 1
  374. fi
  375.  
  376. # Don't check for *stage1_5, because it is not fatal even if any
  377. # Stage 1.5 does not exist.
  378.  
  379. # Create the GRUB directory if it is not present.
  380. test -d "$bootdir" || mkdir "$bootdir" || exit 1
  381. test -d "$grubdir" || mkdir "$grubdir" || exit 1
  382.  
  383. # If --recheck is specified, remove the device map, if present.
  384. if test $recheck = yes; then
  385.     rm -f $device_map
  386. fi
  387.  
  388. # Create the device map file if it is not present.
  389. if test -f "$device_map"; then
  390.     :
  391. else
  392.     # Create a safe temporary file.
  393.     test -n "$mklog" && log_file=`$mklog`
  394.  
  395.     # Before all invocations of the grub shell, call sync to make sure
  396.     # the raw device is in sync with any bufferring in filesystems.
  397.     sync
  398.  
  399.     $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
  400. quit
  401. EOF
  402.     if grep "Error [0-9]*: " $log_file >/dev/null; then
  403.     cat $log_file 1>&2
  404.     exit 1
  405.     fi
  406.  
  407.     rm -f $log_file
  408. fi
  409.  
  410. # Make sure that there is no duplicated entry.
  411. tmp=`sed -n '/^([fh]d[0-9]*)/s/\(^(.*)\).*/\1/p' $device_map \
  412.     | sort | uniq -d | sed -n 1p`
  413. if test -n "$tmp"; then
  414.     echo "The drive $tmp is defined multiple times in the device map $device_map" 1>&2
  415.     exit 1
  416. fi
  417.  
  418. # Get the root drive.
  419. root_device=`find_device ${rootdir}`
  420. bootdir_device=`find_device ${bootdir}`
  421.  
  422. # Check for INSTALL_DEVICE.
  423. case "$install_device" in
  424. /dev/*)
  425.     install_device=`resolve_symlink "$install_device"`
  426.     install_drive=`convert "$install_device"`
  427.     # I don't know why, but some shells wouldn't die if exit is
  428.     # called in a function.
  429.     if test "x$install_drive" = x; then
  430.     exit 1
  431.     fi ;;
  432. \([hf]d[0-9]*\))
  433.     install_drive="$install_device" ;;
  434. [hf]d[0-9]*)
  435.     # The GRUB format with no parenthesis.
  436.     install_drive="($install_device)" ;;
  437. *)
  438.     echo "Format of install_device not recognized." 1>&2
  439.     usage
  440.     exit 1 ;;
  441. esac
  442.  
  443. # Check if the boot directory is in the same device as the root directory.
  444. if test "x$root_device" != "x$bootdir_device"; then
  445.     # Perhaps the user has a separate boot partition.
  446.     root_device=$bootdir_device
  447.     grub_prefix="/grub"
  448. fi
  449.  
  450. # Convert the root device to a GRUB drive.
  451. root_drive=`convert "$root_device"`
  452. if test "x$root_drive" = x; then
  453.     exit 1
  454. fi
  455.  
  456. # Check if the root directory exists in the same device as the grub
  457. # directory.
  458. grubdir_device=`find_device ${grubdir}`
  459.  
  460. if test "x$grubdir_device" != "x$root_device"; then
  461.     # For now, cannot deal with this situation.
  462.     cat <<EOF 1>&2
  463. You must set the root directory by the option --root-directory, because
  464. $grubdir does not exist in the root device $root_device.
  465. EOF
  466.     exit 1
  467. fi
  468.  
  469. # Copy the GRUB images to the GRUB directory.
  470. for file in ${grubdir}/stage1 ${grubdir}/stage2 ${grubdir}/*stage1_5; do
  471.     rm -f $file || exit 1
  472. done
  473. for file in \
  474.     ${pkglibdir}/stage1 ${pkglibdir}/stage2 ${pkglibdir}/*stage1_5; do
  475.     cp -f $file ${grubdir} || exit 1
  476. done
  477.  
  478. # Make a default file.
  479. ${grub_set_default} --root-directory=${rootdir} default
  480.  
  481. # Make sure that GRUB reads the same images as the host OS.
  482. test -n "$mkimg" && img_file=`$mkimg`
  483. test -n "$mklog" && log_file=`$mklog`
  484.  
  485. for file in ${grubdir}/stage1 ${grubdir}/stage2 ${grubdir}/*stage1_5; do
  486.     count=5
  487.     tmp=`echo $file | sed "s|^${grubdir}|${grub_prefix}|"`
  488.     while test $count -gt 0; do
  489.     $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
  490. dump ${root_drive}${tmp} ${img_file}
  491. quit
  492. EOF
  493.     if grep "Error [0-9]*: " $log_file >/dev/null; then
  494.         :
  495.     elif cmp $file $img_file >/dev/null; then
  496.         break
  497.     fi
  498.     sleep 1
  499.     count=`expr $count - 1`    
  500.     done
  501.     if test $count -eq 0; then
  502.     echo "The file $file not read correctly." 1>&2
  503.     exit 1
  504.     fi
  505. done
  506.  
  507. rm -f $img_file
  508. rm -f $log_file
  509.  
  510. # Create a safe temporary file.
  511. test -n "$mklog" && log_file=`$mklog`
  512.  
  513. # Sync to prevent GRUB from not finding stage files (notably, on XFS)
  514. sync
  515.  
  516. # XFS needs special magic
  517. xfs_frozen=false
  518. if which xfs_freeze > /dev/null ; then
  519.   cat << EOF
  520. Due to a bug in xfs_freeze, the following command might produce a segmentation
  521. fault when ${grubdir} is not in an XFS filesystem. This error is harmless and
  522. can be ignored.
  523. EOF
  524.   if xfs_freeze -f ${grubdir} ; then xfs_frozen=true ; fi
  525. fi
  526.  
  527. # Before all invocations of the grub shell, call sync to make sure
  528. # the raw device is in sync with any bufferring in filesystems.
  529. sync
  530.  
  531. # Now perform the installation.
  532. if echo "$install_device" | grep -qs "^/dev/md[0-9]" 2>/dev/null; then
  533.     # installing to an md device; write an MBR to each disk in the RAID
  534.     echo -n > $log_file
  535.     for disk in $(mdadm --detail "$install_device" 2>/dev/null | \
  536.             grep " active sync " 2>/dev/null | \
  537.             sed "s/^.* active sync\s*//" 2>/dev/null \
  538.     ); do
  539.         dev=$(echo "$disk" | sed "s/[0-9]\+$//")
  540.         bootpart=${disk#$dev}
  541.         grubroot=$(($bootpart-1))
  542.         hddev=$(echo "$install_drive" | sed "s/[()]//g" | sed "s/,.*//")
  543.         echo "Installing GRUB to $dev as ($hddev,$grubroot)..."
  544.         $grub_shell --device-map=/dev/null <<EOF >>$log_file
  545. device ($hddev) $dev
  546. root ($hddev,$grubroot)
  547. setup $force_lba --stage2=$grubdir/stage2 --prefix=$grub_prefix ($hddev)
  548. quit
  549. EOF
  550.     done
  551. else
  552.     # traditional case, normal grub installation
  553.     echo "Installing GRUB to $install_device as $install_drive..."
  554.     $grub_shell --batch $no_floppy --device-map=$device_map <<EOF >$log_file
  555. root $root_drive
  556. setup $force_lba --stage2=$grubdir/stage2 --prefix=$grub_prefix $install_drive
  557. quit
  558. EOF
  559. fi
  560.  
  561. if ${xfs_frozen} ; then
  562.   xfs_freeze -u ${grubdir}
  563. fi
  564.  
  565. if grep "Error [0-9]*: " $log_file >/dev/null || test $debug = yes; then
  566.     cat $log_file 1>&2
  567.     exit 1
  568. fi
  569.  
  570. dpkg-query -W -f '${Version}\n' grub > ${grubdir}/installed-version
  571.  
  572. rm -f $log_file
  573.  
  574. echo "Installation finished. No error reported."
  575.  
  576. if echo "$install_device" | grep -qs "^/dev/md[0-9]" 2>/dev/null; then
  577.     # Displaying device.map when installing to a RAID device is misleading
  578.     exit 0
  579. fi
  580.  
  581. # Prompt the user to check if the device map is correct.
  582. echo "This is the contents of the device map $device_map."
  583. echo "Check if this is correct or not. If any of the lines is incorrect,"
  584. echo "fix it and re-run the script \`grub-install'."
  585. echo
  586.  
  587. cat $device_map
  588.  
  589. # Bye.
  590. exit 0
  591.